<?hh // strict

function f(nonnull $x): void {
  $x[] = 'foo';
}
